Communicating sequential processes - PDFSEARCH.IO - Document Search Engine

Communicating sequential processes
Results: 71

#	Item
51	oneStationTrackPlan_a_and_b.png Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-07-13 05:55:18 Communicating sequential processes Concurrent computing Process calculi Interlocking Railroad switch Model theory Structure Union Pacific Railroad Rail transportation in the United States Transportation in the United States Railway signalling
52	Verification of Scheme Plans using CSP\|\|B Philip James1 , Faron Moller1 , Hoang Nga Nguyen3 , Markus Roggenbach1 , Steve Schneider2 , Helen Treharne2 , Matthew Trumble2 , and David Williams4 1 Swansea University, UK Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-11-29 11:10:29 Communicating sequential processes Workflow technology Mind Railway signalling Logic in computer science Ethology Model checking Workflow Interlocking Concurrent computing Computing Process calculi
53	Electronic Communications of the EASST Volume X[removed]Proceedings of the 12th International Workshop on Automated Verification of Critical Systems Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-30 14:30:51 Railway signalling Interlocking Communicating sequential processes Railroad switch Junction Transport Land transport Rail transport
54	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:39 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
55	Computing Laboratory[removed]A CSP Model for Java Threads (and Vice-Versa) Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2001-04-02 07:50:47 Computer programming Concurrency Monitor Communicating sequential processes JCSP Thread Lock Channel Deadlock Computing Concurrency control Concurrent computing
56	Microsoft PowerPoint - jcsp.ppt Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-04-01 09:11:39 Concurrent computing Concurrency control Concurrency Sun Microsystems Cross-platform software Communicating sequential processes Lock Deadlock Monitor Computing Computer programming Software engineering
57	Somno, The Barber of Clapham Junction, Introduces GPars Or how I learned to love Actor Model, Communicating Sequential Processes (CSP), and Dataflow Model, and treat threads as the assembly language of concurrency and pa Add to Reading List Source URL: www.russel.org.uk Language: English - Date: 2013-12-31 08:04:30 Functional languages Inter-process communication Java specification requests Sleeping barber problem Actor model Scala Groovy Futures and promises E Computing Concurrent computing Concurrency
58	Communicating Process Architectures 2008 P.H. Welch et al. (Eds.) IOS Press, 2008 Add to Reading List Source URL: twistedsquare.com Language: English - Date: 2013-08-19 10:40:16 Adjoint functors Procedural programming languages Process calculi Functional languages Occam Communicating sequential processes Monad Haskell Function composition Software engineering Computing Computer programming
59	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
60	PDF Document Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2012-10-14 17:28:33 Computer programming Happened-before Communicating sequential processes Distributed computing Timestamp Logical clock Transmission Control Protocol Parallel computing Communications protocol Computing Distributed algorithms Concurrent computing